Interactive Programming of Reactive Systems
نویسندگان
چکیده
منابع مشابه
Interactive Programming of Reactive Systems
ReactiveML is a synchronous reactive extension of the general purpose programming language OCaml. It allows to program reactive systems such as video games or simulators. This paper presents rmltop, the ReactiveML counterpart of the OCaml toplevel. This toplevel allows a programmer to interactively write ReactiveML programs which are type-checked, compiled and loaded on the fly. The user can th...
متن کاملInteractive Programming of Reactive Systems (Draft)
The language ReactiveML is an extension of the general purpose programming language OCaml with synchronous reactive constructs. It is dedicated to program reactive systems such as video games or simulators. This paper presents rmltop, the ReactiveML counterpart of the OCaml toplevel. This toplevel allows a programmer to interactively write ReactiveML programs which are typechecked, compiled and...
متن کاملReactive Programming for Interactive Graphics
One of the big challenges of developing interactive statistical applications is the management of the data pipeline, which controls transformations from data to plot. The user’s interactions needs to be propagated through these modules and reflected in the output representation at a fast pace. Each individual module may be easy to develop and manage, but the dependency structure can be quite ch...
متن کاملSynchronous Programming of Reactive Systems
The te rm "reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is now commonly accepted to designate permanent ly operating systems, and to distinguish them from "trans]ormational systems" i.e, usual programs whose role is to terminate with a result, computed from an initial da ta (e.g., a compiler). In synchronous programming, we understand it in a more restrictive way, ...
متن کاملReactive Programming of Event-Driven Automotive Systems
Construction and verification of modern automotive system software is inherently hard and costly. A primary source of this complexity can be found in the inadequate support for eventdriven programming offered by contemporary software technology. This project seeks to develop and demonstrate the concept of reactive programming as an approach to reducing this complexity. Projected outcomes includ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.01.004